BOEKENREPERTORIUM A. ACCOUNTANCY IV. LEER VAN DE CONTRÔLE

Johannes Walaeus. Zijn betekenis vor de verbreiding van de leer van de bloeds omloop

Johannes Walaeus. Zijn betekenis vor de verbreiding van de leer van de bloeds omloop [Johannes Walaeus. His significance in the recognition of the doctrine of blood circulation], by J. SCHOUTEN, Assen, Van Gorcum, 1972, pp. viii, 260, illus., Dfl. 46. Reviewed by Walter Pagel, 58 Millway, London, NW7 3RA. Walaeus [Jan de Wale] (1604-1649) was the first to confirm and amplify by original experim...

Production et contrôle de vaccins inactivés contre la Peste équine

Vérification partielle de programmes de contrôle-commande par interprétation abstraite

In the field of static analysis, abstract interpretation based techniques compute over approximations of the set of possible behaviors of programs. These over-approximations give properties on the program that can be used to prove the abscence of some bugs. In the case of control command programs, the behavior of the program depends on the physical environment with which it interacts. This envi...

Contrôle des Ressources de Réseaux sur des . . .

Contrôle de systèmes symboliques, discrets ou hybrides

pto Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR 6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes Supervisory Control of Discrete or Hybrid Symbolic systems Abstract In this paper we tackle the safety controller synthesis problem for various models ranging from nite transition systems to hybrid sys...